Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
211	Microsoft PowerPoint - BDcon IBMElan Sasson.pptx Add to Reading List Source URL: edcon2013.ischool.syr.edu Language: English - Date: 2013-11-08 16:40:28 Technology Business intelligence Data analysis Database management systems Database theory Data visualization Data mining Analytics Big data Science Data management Formal sciences
212	Jeff Adie Principal Systems Engineer Agenda • Real Time analytics Add to Reading List Source URL: www.nvidia.com.tw Language: English - Date: 2014-07-24 03:12:28 GPGPU Concurrent computing Formal sciences Emerging technologies Video cards CUDA Analytics Big data Graphics processing unit Computing Technology Graphics hardware
213	NewVantage Partners \| Survey Big Data Executive Survey 2014: An Update on the Progress of Big Data in the Large Corporate World Summary Report Add to Reading List Source URL: newvantage.com Language: English - Date: 2014-12-05 16:08:44 Business intelligence Corporate governance Formal sciences Information systems Chief data officer Chief analytics officer Big data Corporate title Analytics Management Technology Business
214	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
215	On Understanding Software Agility—A Social Complexity Point Of View E:CO Issue Vol. 13 NosppApplied On Understanding Software Agility— Add to Reading List Source URL: www.metaprog.com Language: English - Date: 2012-01-28 04:27:38 Agile software development Formal methods Systems Management Cynefin Extreme programming Wicked problem Software development process Requirement Software development Software Software project management
216	Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin Andrew Miller University of Central Florida Abstract—We present a formal model of synchronous processes Add to Reading List Source URL: tr.eecs.ucf.edu Language: English - Date: 2014-04-23 23:25:18 Fault-tolerant computer systems Consensus Bitcoin Stochastic processes Markov processes Distributed algorithm Poisson process Peer-to-peer Byzantine fault tolerance Statistics Computing Probability and statistics
217	A Comprehensive Guide for Proposers to the EU Environmental Technologies Verification Pilot Programme AdvanceETV Add to Reading List Source URL: www.etv-danmark.dk Language: English - Date: 2012-09-13 06:18:03 Formal methods Logic in computer science Science Validation Applied mathematics Verification and validation Formal verification Verification Technology Pharmaceutical industry Validity Systems engineering
218	Bernd R.HornungScience of Social Systems _________________________________________________________________________ COMPLEXITY OF ORGANIZATIONS Add to Reading List Source URL: sociocybernetics.unizar.es Language: English - Date: 2012-09-27 02:29:14 Knowledge Control theory Systems Formal sciences Scientific revolution Cybernetics The Structure of Scientific Revolutions Thomas Kuhn Charles E. Lindblom Science Philosophy of science Systems theory
219	testingexperience03_08.pdf Add to Reading List Source URL: www.istqb.org Language: English - Date: 2013-05-09 11:07:47 Software testing Formal methods Unified Modeling Language Enterprise Architect Acceptance testing Extended Enterprise Modeling Language Systems engineering Software development process Model-driven architecture Software development Software Enterprise modelling
220	The International Workshop on Big Data Management on Emerging Hardware (HardBDhttp://idke.ruc.edu.cn/HardBD2013, in Conjunction with WAIM 2013, Beidaihe, China, 14-16 June, 2013 IMPORTANT DATES Add to Reading List Source URL: idke.ruc.edu.cn Language: English - Date: 2013-06-21 11:32:14 Database management systems Database theory Emerging technologies Parallel computing Formal sciences Database Data center Big data Computer data storage Concurrent computing Computing Information science

UPDATE